近日，微软旗下的协作式编程平台 GitHub 正深化与埃隆·马斯克旗下 xAI 公司的合作，将 xAI 的 Grok Code Fast 1 大型语言模型（LLM）的早期使用权整合到 GitHub Copilot 中。
刚刚，马斯克xAI加入Coding战局：推出智能编程模型Grok Code Fast 1。Fast写进名字里，新模型主打的就是快速、经济，且支持256K上下文，可在GitHub Copilot、Cursor、Cline、Kilo Code、Roo Code、opencode和Windsurf上使用，还限时7天免费！
自 2021 年夏季 GitHub Copilot 以预览版问世 以来，编程助手产品呈现爆发式增长。这类工具最初被用作增强型代码补全工具，而 Cursor、Windsurf 等产品则迅速转向了 Agent 交互模式：通过自然语言指令触发，助手能自主执行修改代码文件、运行终端命令等操作。
「软件正在吞噬世界，但AI将吞噬软件。」—英伟达CEO黄仁勋的预言正加速照进现实。
上个月，微软分享了将 VS Code 打造成开源 AI 编辑器的计划。今天，微软在 VS Code 官网表示已经达成了第一个里程碑：GitHub Copilot Chat 扩展程序现已在 GitHub 上根据 MIT 许可证 开源。
最近，一款新的开源 AI 驱动的代码编辑器 Void IDE发布了测试版，它将自己定位为一个注重隐私且免费的替代品，与流行的闭源 AI 编辑器如 Cursor 和 GitHub Copilot 竞争。
被选为GitHub Copilot官方模型后，Claude 4直接被诱导出bug了！
微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
视频新人博主陶哲轩又更新了！这次是“喂饭级”AI教程—— 手把手演示如何只用GitHub Copilot证明函数极限问题。
